Multi-view approaches for software and system modelling: a systematic literature review

n/

A hybrid approach for multi-view modeling

Multi-view modeling is a widely accepted technique to reduce the complexity in the development of modern software systems. It allows developers to focus on a narrowed portion of the specification dealing with a selected aspect of the problem. However, multi-view modeling support discloses a number of issues: on the one hand consistency management very often has to cope with semantics interconnections between the different concerns. On the other hand, providing a predefined set of views usually results as too restrictive because of expressiveness and customization needs. This paper proposes a hybrid solution for multi-view modeling based on an arbitrary number of custom views defined on top of an underlying modeling language. The aim is to benefit from the consistency by-construction granted by well-defined views while at the same time providing malleable perspectives through which the system under development can be specified

Composing textual modelling languages in practice

This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, http://dx.doi.org/10.1145/2508443.2508449Complex systems require descriptions using multiple modelling languages, or languages able to express different concerns, like timing or data dependencies. In this paper, we propose techniques for the modular definition and composition of languages, including their abstract, concrete syntax and semantics. These techniques are based on (meta-)model templates, where interface elements and requirements for their connection can be established. We illustrate the ideas using the MetaDepth textual meta-modelling tool

Uml-based modeling of non-functional requirements in telecommunication systems. In:

Abstract-Successful design of real-time embedded systems relies heavily on the successful satisfaction of their non-functional requirements. Model-driven engineering is a promising approach for coping with the design complexity of embedded systems. However, when it comes to modeling non-functional requirements and covering specific aspects of different domains and types of embedded systems, general modeling languages for real-time embedded systems may not be able to cover all of these aspects. One solution is to use a combination of modeling languages for modeling different non-functional requirements as is done in the definition of EAST-ADL modeling language for automotive domain. In this paper, we propose a UML-based solution, consisting of different modeling languages, to model non-functional requirements in telecommunication domain, and discuss different challenges and issues in the design of telecommunication systems that are related to these requirements

Automatic Deployment Space Exploration Using Refinement Transformations

To manage the complex engineering information for real-time systems, the system under development may be modelled in a high-level architecture de- scription language. This high-level information provides a basis for deployment space exploration as it can be used to generate a low-level implementation. During this deployment mapping many platform-dependent choices have to be made whose consequences cannot be easily predicted. In this paper we present an approach to the automatic exploration of the deployment space based on platform-based design. All possible solutions of a deployment step are generated using a refinement trans- formation. Non-conforming deployment alternatives are pruned as early as possible using simulation or analytical methods. We validate the feasibility of our approach by deploying part of an automotive power window optimized for its real-time be- haviour using an AUTOSAR-like representation. First results are promising and show that the optimal solution can indeed be found efficiently with our approach

Health technology assessment of pathogen reduction technologies applied to plasma for clinical use

Although existing clinical evidence shows that the transfusion of blood components is becoming increasingly safe, the risk of transmission of known and unknown pathogens, new pathogens or re-emerging pathogens still persists. Pathogen reduction technologies may offer a new approach to increase blood safety. The study is the output of collaboration between the Italian National Blood Centre and the Post-Graduate School of Health Economics and Management, Catholic University of the Sacred Heart, Rome, Italy. A large, multidisciplinary team was created and divided into six groups, each of which addressed one or more HTA domains.Plasma treated with amotosalen + UV light, riboflavin + UV light, methylene blue or a solvent/detergent process was compared to fresh-frozen plasma with regards to current use, technical features, effectiveness, safety, economic and organisational impact, and ethical, social and legal implications. The available evidence is not sufficient to state which of the techniques compared is superior in terms of efficacy, safety and cost-effectiveness. Evidence on efficacy is only available for the solvent/detergent method, which proved to be non-inferior to untreated fresh-frozen plasma in the treatment of a wide range of congenital and acquired bleeding disorders. With regards to safety, the solvent/detergent technique apparently has the most favourable risk-benefit profile. Further research is needed to provide a comprehensive overview of the cost-effectiveness profile of the different pathogen-reduction techniques. The wide heterogeneity of results and the lack of comparative evidence are reasons why more comparative studies need to be performed

GMF: A Model Migration Case for the Transformation Tool Contest

Using a real-life evolution taken from the Graphical Modeling Framework, we invite submissions to explore ways in which model transformation and migration tools can be used to migrate models in response to metamodel adaptation.Comment: In Proceedings TTC 2011, arXiv:1111.440

A new decision model for economic evaluation of novel therapies for HCV

In 2014, the European Medicines Agency (EMA) has given the license to two new direct-acting antiviral: sofosbuvir and simeprevir. The evidence provided by the studies, reported a high rate of SVR even in patients with decompensated cirrhosis. This and other innovative elements are potentially adept at changing the entire natural course of HCV. However, the dramatic prevalence rates of HCV observed in Italy, and the high prices that are expected to be required by the pharmaceutical industry, raises some critical issues about how to regulate access to such drugs. The objective of this article is to present a new decision model for the evaluation of novel therapies for HCV. This model is intended to provide a tool for the decision-maker that seeks to address the main issues related to the introduction of HCV new treatments. The model that we have structured follows the classic Bayesian approach, using data from reference literature for staging the action of treatments depending on the level of fibrosis (F0, F1, F2, F3, F4). The model is designed to consider patients with all genotypes and allows to make comparisons between innovative and traditional therapies (dual, triple, IFN free, PI combinations, etc.), for both experienced and naïve patients. In addition, the model is used to simulate mixed cohorts of patients, representing a population with HCV with different levels of fibrosis and different genotypes. To show the potential of the model, we created some simple scenarios assuming different levels of SVR and pricing. The results of our model show that, even assuming an SVR rate of 100%, the administration of new treatments for HCV subjects F1 / 2 has an incremental cost-effectiveness ratio not sustainable. In contrast, for the subjects F3 and F4, low incremental SVR rates and an incremental cost of the innovative therapy of € 40,000 would be cost effective. The added value of this model is its versatility and applicability to diverse assessment needs. In addition, the model offers an opportunity for reflection even to the industry, which in the years to come will have to develop strategies for entering the market and offer sustainable prices for decision-makers and at the same time remunerate the investment in research and development consistently with the expectations of the shareholders

MoVES: A Model-Driven Methodology for Vehicular Embedded Systems

This paper introduces a novel model-driven methodology for the software development of real-time distributed vehicular embedded systems on single-and multi-core platforms. The proposed methodology discloses the opportunity of improving the cost-efficiency of the development process by providing automated support to identify viable design solutions with respect to selected non-functional requirements. To this end, it leverages the interplay of modeling languages for the vehicular domain whose integration is achieved by a suite of model transformations. An instantiation of the methodology is discussed for timing requirements, which are among the most critical ones for vehicular systems. To support the design of temporally correct systems, cooperation between EAST-ADL and the Rubus component model is opportunely built-up by means of model transformations, enabling timing-aware design and model-based timing analysis of the system. The applicability of the methodology is demonstrated as the proof of concepts on industrial use cases performed in cooperation with our industrial partners

Comparisons of American, Israeli, Italian and Mexican physicians and nurses on the total and factor scores of the Jefferson scale of attitudes toward physician-nurse collaborative relationships

This cross-cultural study was designed to compare the attitudes of physicians and nurses toward physician–nurse collaboration in the United States, Israel, Italy and Mexico. Total participants were 2522 physicians and nurses who completed the Jefferson Scale of Attitudes Toward Physician–Nurse Collaboration (15 Likert-type items, (Hojat et al., Evaluation and the Health Professions 22 (1999a) 208; Nursing Research 50 (2001) 123). They were compared on the total scores and four factors of the Jefferson Scale (shared education and team work, caring as opposed to curing, nurses, autonomy, physicians’ dominance). Results showed inter- and intra-cultural similarities and differences among the study groups providing support for the social role theory (Hardy and Conway, Role Theory: Perspectives for Health Professionals, Appleton-Century-Crofts, New York, 1978) and the principle of least interest (Waller and Hill, The Family: A Dynamic Interpretation, Dryden, New York, 1951) in inter-professional relationships. Implications for promoting physician–nurse education and inter-professional collaboration are discussed